Experiences from Verifying a Partitioning Kernel Using Fault Injection

This paper describes the usage of fault injection for testing a version of the μC/OS-II kernel which we extended with robust partitioning mechanisms. The implemented mechanisms were tested using a new fault injection plug-in for the GOOFI tool, which aims to provide robustness testing for partitioned systems. We describe the kernel extension and the experiments, with the goal of fault removal, that explore the capabilities of the new plug-in for testing the partitioning mechanisms. The experiments exposed two vulnerabilities in the extension, showing the importance and potential benefits of using fault injection for the assessment of partitioned systems.